Category theory - PDFSEARCH.IO - Document Search Engine

Category theory
Results: 1468

#	Item
171	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Category theory Functional programming F-algebra F-coalgebra Functor Initial algebra Monad Equivalence of categories Coalgebra Stoneech compactification
172	761 Documenta Math. A Bound for the Torsion in the K -Theory of Algebraic Integers Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2003-12-23 07:52:18 Model theory Category theory Differential topology Embedding Order theory Structure Sigma-algebra Decomposition of spectrum
173	1403 Documenta Math. Classification of Categorical Subspaces of Locally Noetherian Schemes Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2015-12-16 12:59:44 Homological algebra Ring theory Algebraic geometry Category theory Sheaf theory Localizing subcategory Abelian category Coherent sheaf Localization Ring Zariski topology Noetherian scheme
174	Graduate Student Seminar Winter Term: K-Theory and Derived Equivalences Mark Ullmann The program for the graduate student seminar next term is the paper “K-Theory and derived equivalences” by Daniel Dugger an Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2009-02-18 07:12:09 Homotopy theory Homological algebra Ring theory Algebraic geometry Category theory Model category Derived category Algebraic K-theory Homotopy category Triangulated category Morita equivalence Ring
175	Concepts and Categories II Informatics 1 CG: Lecture 16 Chris Lucas Concepts and Categories Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2016-02-23 08:51:48 Semantics Cognitive science Abstraction Ontology Psychological theories Categorization Prototype theory Theory Category of being Scientific theory Concept Exemplar theory
176	Quantities Author(s): John Bigelow and Robert Pargetter Source: Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, Vol. 54, No. 3 (Nov., 1988), ppPublished by: Springer St Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Ontology Property Quantity Mass Supervenience Matter Problem of universals Universal Category of being Theory of Forms Identity
177	Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:07 Theoretical computer science Logic in computer science Category theory Formal methods Bisimulation Functional programming Coinduction Denotational semantics F-coalgebra Robin Milner Type theory Weak equivalence
178	Lectures on Representations of Quivers by William Crawley-Boevey Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2002-02-12 15:32:21 Representation theory Ring theory Module theory Homological algebra Category theory Quiver Simple module Tilting theory Ring Local ring Lie algebra Cohomology
179	THE GEOMETRY OF FROBENIOIDS I: THE GENERAL THEORY Shinichi Mochizuki June 2008 Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-07 07:19:46 Algebraic structures Galois theory Algebraic number theory Algebraic geometry Symmetry Frobenioid Monoid Frobenius endomorphism Homomorphism Ring P-adic Hodge theory Category
180	Coproducts for Permutation Groups, Transformation Semigroups, Automata and Related Categories Chrystopher L. Nehaniv joint work with Fariba Karimi Woflson Royal Society Biocomputation Laboratory Add to Reading List Source URL: www.maths.dur.ac.uk Language: English - Date: 2015-09-09 07:05:29 Semigroup theory Algebraic structures Category theory Transformation semigroup Semigroup Coproduct Monoid Inverse element Permutation group Group action Product KrohnRhodes theory

UPDATE